Possibility operators over n-valued Gödel logic
نویسندگان
چکیده
In the area of fuzzy logic, expansions these logics by $\Delta$ operator have been intensively studied; interest is due to fact that it presents a behavior, associated systems were studied in propositional and first-order level. On other hand, possibility operators define Łukasiewicz-Moisil algebras over different classes algebras; are known as Moisil's literature. One coincides with $\Delta$, showing there behavior. this paper, we present study an extension logic; namely, n-valued Gödel thus opening explore more operators.
منابع مشابه
Bi-modal Gödel logic over [0,1]-valued Kripke frames
We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal analogues of T, S4, and S5 obtained by...
متن کاملMonotone operators on Gödel logic
4 We consider an extension of Gödel logic by a unary operator that enables the addition of nonnegative reals to truth-values. Although its propositional fragment has a simple proof system, first-order validity is Π2-hard. We explain the close connection to Scarpellini’s result on Π2hardness of Łukasiewicz’s logic.
متن کاملExtending possibilistic logic over Gödel logic
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of non-modal and modal formulas, the latter ...
متن کاملExploring Extensions of Possibilistic Logic over Gödel Logic
In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language compose...
متن کاملGödel Homomorphisms as Gödel Modal Operators
We extend propositional Gödel logic by a unary modal operator, which we interpret as 5 Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the 6 binary connectives of Gödel logic. We show that validity in the propositional fragment has a simple 7 superintuitionistic Hilbert-type proof system, which is not structurally complete, and that validity 8 doe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of algebraic hyperstructures and logical algebras
سال: 2022
ISSN: ['2676-6000', '2676-6019']
DOI: https://doi.org/10.52547/hatef.jahla.3.2.1